* Makefile.in (install-arch-indep): Gzip the info files too.
authorGlenn Morris <rgm@gnu.org>
Thu, 10 Jun 2010 05:34:38 +0000 (22:34 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 10 Jun 2010 05:34:38 +0000 (22:34 -0700)
commitfa76c2d0f934dc2ccd4ede4e0377afc22a910ea6
tree37ff33ca2f2dee5e6c97221d2812c94c3e5682fe
parentbbd6a2c83270a4f36f238543b8b8d03da52ff57c
* Makefile.in (install-arch-indep): Gzip the info files too.
ChangeLog
Makefile.in